DA2 merging operators
نویسندگان
چکیده
A new framework for propositional merging is presented. DA2 merging operators, parameterized by a distance between interpretations and two aggregation functions, are introduced. Many distances and aggregation functions can be used and many merging operators already defined in the literature (including both model-based ones and syntax-based ones) can be encoded as specific DA2 operators. Both logical and complexity properties of those operators are studied. An important result is that (under very weak assumptions) query entailment from merged bases is “only” at the first level of the polynomial hierarchy when any of the DA2 operators is used. As a by-product, complexity results for several existing merging operators are derived as well. 2004 Elsevier B.V. All rights reserved.
منابع مشابه
Merging Beliefs with Goals A formal analysis based on Merging Operators
The specification and verification of cognitive agent systems leads to the integration of formal systems, such as the combination of logics of beliefs, goals and intentions in Rao and Georgeff’s BDICTL logic, the merging of conflicting informational attitudes such as knowledge bases or belief sources into beliefs, and the merging of conflicting motivational attitudes such as desires, obligation...
متن کاملSur la fusion de croyances égalitaire
There are two main sub-families of IC merging operators : majority operators and arbitration ones. While many majority belief merging operators have been defined so far, only few arbitration belief merging operators have been identified. In this paper, we study the more general notion of egalitarian belief merging. We translate to the belief merging framework two egalitarian conditions coming f...
متن کاملA Comparison of Merging Operators in Possibilistic Logic
In this paper, we compare merging operators in possibilistic logic. We first propose an approach to evaluating the discriminating power of a merging operator. After that, we analyze the computational complexity of existing possibilistic merging operators. Finally, we consider the compatibility of possibilistic merging operators with propositional merging operators.
متن کاملTup/Islet1 integrates time and position to specify muscle identity in Drosophila.
The LIM-homeodomain transcription factor Tailup/Islet1 (Tup) is a key component of cardiogenesis in Drosophila and vertebrates. We report here an additional major role for Drosophila Tup in specifying dorsal muscles. Tup is expressed in the four dorsal muscle progenitors (PCs) and tup-null embryos display a severely disorganized dorsal musculature, including a transformation of the dorsal DA2 i...
متن کاملCloning and functional characterization of the DA2 receptor gene in Chinese mitten crab (Eriocheir sinensis)
Dopamine (DA) plays a modulatory role in numerous physiological processes such as light adaptation and food intake, and exerts these functions through DA receptors (DARs). This study presents, for the first time, isolation and characterization of the dopamine receptor 2(DA2 receptor) cDNA from the intestinal tissue of Eriocheir sinensis, an economically important freshwater aquaculture species ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 157 شماره
صفحات -
تاریخ انتشار 2004